41. Fault prediction modeling for the prediction of number of software faults
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Reliability. ;
42. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
43. Formal methods for industrial critical systems :
پدیدآورنده : Darren Cofer, Alessandro Fantechi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
9
.
F67
I594
2008eb
44. Formal methods for industrial critical systems :
پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
45. Fundamentals of dependable computing for software engineers /
پدیدآورنده : John Knight
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability,Fault-tolerant computing
رده :
QA76
.
9
.
F38
46. Handbook of software reliability engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Reliability ; Handbooks, manuals, etc ;
47. Handbook of software reliability engineering
پدیدآورنده : Michael R. Lyu, editor in chief
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software Reliability - Handbooks, manuals, etc
رده :
QA
76
.
76
.
R44
H36
1995
48. Handbook of software reliability engineering
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Handbook, manuals, etc ، Computer software-- Reliability
رده :
QA
76
.
76
.
R44
.
H36
1995
49. Handbook of software reliability engineering
پدیدآورنده : / Michael R. Lyu, editor in chief
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software--Reliability--Handbooks, manuals, etc
رده :
QA
,
76
.
76
,.
R44
,
H36
,
1996
50. High- integrity software
پدیدآورنده : / edited by C.T. Sennett
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer Software--Reliability
رده :
QA
76
.
76
.
R44H54
1989
51. High integrity software: the Spark approach to safety and security
پدیدآورنده : Barnes, J. G. P. )John Gilbert Presslie(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
R44
.
B37
2003
52. How to break software security: effective techniques for security testing
پدیدآورنده : Whittaker, James A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Computer security,Testing ، Computer software,Reliability ، Computer software
رده :
QA
76
.
9
.
A25
W48
2004
53. Industrial perspectives of safety-critical systems :
پدیدآورنده : Felix Redmill and Tom Anderson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
54. Industrial perspectives of safety-critical systems :
پدیدآورنده : Felix Redmill and Tom Anderson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
رده :
T55
.
A1
F455
1998
55. Industrial perspectives of safety-critical systems: proceedings of the Sixth Safety-critical Systems Symposium Birmingham, 1998
پدیدآورنده : Felix Redmill and Tom Anderson, ]eds.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Industrial safety,Reliability - Congresses ، Automatic control,Reliability - Congresses ، Computer software
رده :
T
55
.
A1
S225
1998
56. Introduction to fuzzy reliability
پدیدآورنده : Cai, Kai-Yuan
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Reliability )Engineering(,، Electronic digital computers - Reliability,Reliability ، Computer software,، Fuzzy sets,، Fuzzy logic
رده :
TA
169
.
C35
1996
57. Introduction to fuzzy reliability
پدیدآورنده : Cai, Kai-Yuan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Reliability )Engineering(,Reliability ، Electronic digital computers,Reliability ، Computer software,، Fuzzy sets,، Fuzzy logic
رده :
TA
169
.
C35
1996
58. Introduction to reliable distributed programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing. ; Computer software ; Reliability. ;
59. Introduction to reliable distributed programming
پدیدآورنده : / Rachid Guerraoui, Luis Rodrigues
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic data processing- Distributed processing,Computer software- Reliability
رده :
QA76
.
9
.
D5
,
G82
2006
60. Jenkins continuous integration cookbook
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development,Computer software-- Quality control,Computer software-- Reliability,Computer software-- Testing,Open source software,Web sites-- Design
رده :
QA76
.
76
.
Q35
B47
2012
